Nuprl Definition : w-info
11,40
postcript
pdf
w-info(
w
;
e
) == kindcase(kind(
e
);
a
.inl <loc(
e
),
a
> ;
l
,
tg
.inr <<
l
, sender(
e
)>,
tg
> )
latex
clarification:
w-info(
w
;
e
)
== kindcase(w-ekind(
w
;
e
);
a
.inl <w-loc(
w
;
e
),
a
> ;
l
,
tg
.inr <<
l
, w-sender(
w
;
e
)>,
tg
> )
latex
Definitions
kindcase(
k
;
a
.
f
(
a
);
l
,
t
.
g
(
l
;
t
) )
,
kind(
e
)
,
inl
x
,
loc(
e
)
,
inr
x
,
<
a
,
b
>
,
sender(
e
)
FDL editor aliases
w-info
origin